TRANSLATION TECHNIQUES IN TAJ: TRAGEDI DI BALIK TANDA CINTA ABADI NOVEL

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

investigating the integration of translation technologies into translation programs in iranian universities: basis for a syllabus design in translation technology

today, information technology and computers are indispensable tools of any profession and translation technologies have become an indispensable part of translator’s workstation. with the increasing demands for high productivity and speed as well as consistency and with the rise of new demands for translation and localization, it is necessary for translators to be familiar with market demands an...

Transformational Abstraction for Java (TAJ)

A major problem in software maintenance and reverse engineering is the lack of documentation that represents the actual state of the application source code. When a software product needs to be updated to fix bugs, add new functionality, or ported to other system, usually developers find themselves with documentation that does not reflect the actual state of the application (and the source code...

متن کامل

Linear Abadi & Plotkin Logic

We present a formalization of a version of Abadi and Plotkin’s logic for parametricity for a polymorphic dual intuitionistic / linear type theory with fixed points, and show, following Plotkin’s suggestions, that it can be used to define a wide collection of types, including existential types, inductive types, coinductive types and general recursive types. We show that the recursive types satis...

متن کامل

Consistency Techniques in Ordinary Di erential Equations ?

This paper studies the application of interval analysis and consistency techniques to ordinary di erential equations. It presents a unifying framework to extend traditional numerical techniques to intervals. In particular, it shows how to extend explicit methods to intervals. The paper also took a fresh look at the traditional problems encountered by interval techniques and studied how consiste...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Lingua Didaktika: Jurnal Bahasa dan Pembelajaran Bahasa

سال: 2017

ISSN: 2541-0075,1979-0457

DOI: 10.24036/ld.v10i2.7239